DO-178C 软件开发全流程精讲
📚 共计 30 章节
01
DO-178C概述
适航背景、软件等级划分、与DO-178B的差异
适航
等级
差异
02
系统与软件交互
系统需求到软件需求的映射、系统安全评估过程
需求映射
安全评估
03
计划阶段（PSAC）
软件合格审定计划的内容、编写要点与评审
PSAC
审定计划
04
开发计划（SDP）
软件开发计划、标准与流程的定义
SDP
流程定义
05
需求标准（RS）
需求编写规范、可追溯性与验证方法
RS
可追溯性
06
设计标准（DS）
设计表示法、建模标准与接口定义
DS
建模
07
编码标准（CS）
编码规范、MISRA-C与代码复杂度控制
MISRA-C
复杂度
08
集成标准（IS）
集成策略、构建环境与配置管理
集成
构建
09
需求开发（HLR）
高层需求的捕获、分析与评审
HLR
捕获
10
需求开发（LLR）
低层需求的细化、形式化与验证
LLR
形式化
11
架构设计
软件架构视图、分区与资源管理
架构
分区
12
详细设计
数据流与控制流设计、状态机与模型
状态机
数据流
13
编码与实现
编码实践、代码审查与静态分析
审查
静态分析
14
集成过程
软件集成、硬件/软件集成与系统集成
集成
HW/SW
15
验证过程概述
验证目标、独立性与覆盖度
验证
独立性
16
需求验证
需求评审、基于需求的测试用例设计
评审
测试用例
17
设计验证
设计评审、模型检查与仿真
模型检查
仿真
18
代码验证
代码走查、单元测试与结构覆盖分析
单元测试
覆盖
19
集成验证
集成测试、硬件/软件集成测试
集成测试
HW/SW
20
覆盖度分析
需求覆盖、代码覆盖（MC/DC）与数据耦合
MC/DC
数据耦合
21
测试环境与工具
测试台架、仿真器与工具鉴定
仿真器
工具鉴定
22
配置管理（CM）
版本控制、变更管理与问题追踪
CM
变更管理
23
质量保证（SQA）
过程保证、产品保证与审计
SQA
审计
24
合格审定联络（SC）
与局方沟通、问题报告与DER角色
DER
局方
25
工具鉴定（TQ）
工具分类、鉴定方法与证据
TQ
鉴定
26
数据耦合与控制耦合
分析目的、方法与实例
耦合
分析
27
基于模型的开发（MBD）
模型验证、代码生成与DO-331
MBD
DO-331
28
形式化方法
形式化验证、定理证明与模型检查
形式化
定理证明
29
生命周期数据
数据分类、版本管理与归档要求
数据管理
归档
30
认证案例与实战
典型项目案例、常见问题与最佳实践
案例
最佳实践